Add argument-checking assertions to rangeset interfaces.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 2 Feb 2006 14:09:39 +0000 (15:09 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 2 Feb 2006 14:09:39 +0000 (15:09 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/rangeset.c

index 95757a60cca32783bed51ce988386f824a5b2b81..6873002012758488a29ccb86e55efe9764f288f4 100644 (file)
@@ -95,6 +95,8 @@ int rangeset_add_range(
     struct range *x, *y;
     int rc = 0;
 
+    ASSERT(s <= e);
+
     spin_lock(&r->lock);
 
     x = find_range(r, s);
@@ -161,6 +163,8 @@ int rangeset_remove_range(
     struct range *x, *y, *t;
     int rc = 0;
 
+    ASSERT(s <= e);
+
     spin_lock(&r->lock);
 
     x = find_range(r, s);
@@ -227,6 +231,8 @@ int rangeset_contains_range(
     struct range *x;
     int contains;
 
+    ASSERT(s <= e);
+
     spin_lock(&r->lock);
     x = find_range(r, s);
     contains = (x && (x->e >= e));